2. Algorithmentheorie
پدیدآورنده: Loeckx, Jacques, 1931-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Turing machines ► Recursive functions ► Algorithms
رده :
QA
267
.
L6
3. Enumerability · Decidability Computability
پدیدآورنده: by Hans Hermes.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics.
4. Introduction to computability
پدیدآورنده: Hennie, Frederick C.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Turing machines,، Algorithms,، Computational complexity,، Recursive functions
رده :
QA
267
.
H46
5. Introduction to computability
پدیدآورنده: / Fred Hennie
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Turing machines,Algorithms,Computational complexity,Recursive functions
رده :
QA
267
.
H46
6. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده: by J. Becvar.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
7. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده: edited by Antoni Mazurkiewicz.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
8. The singularity is near :
پدیدآورنده: Ray Kurzweil.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Brain-- Evolution.,Genetics.,Human evolution.,Nanotechnology.,Robotics.,Artificial Intelligence.,Biological Evolution.,Neural Networks (Computer)
رده :
QP376
.
K85
2006
9. Theory of Computation
پدیدآورنده: / George Tourlakis
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامهنویسی تابعی
رده :
QA9
,.
59
.
T46
,
T68
2012
